3361. theory and applications :--Computer science

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computer science ; Congresses. ;

3362. theory and applications :--Computer science

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computer science ; Congresses. ;

3363. time systems-Formal methods and hybrid real

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: time data processing ; Congresses. ; - ; Chaochen, Zhou. ; Formal methods (Computer science) ; Congresses. ; Real-Bj?rner, D. ; (Dines), ; 1937